/***********************************************************************************************************************
*                                                                                                                      *
* SPLASH build system v0.1                                                                                             *
*                                                                                                                      *
* Copyright (c) 2013 Andrew D. Zonenberg                                                                               *
* All rights reserved.                                                                                                 *
*                                                                                                                      *
* Redistribution and use in source and binary forms, with or without modification, are permitted provided that the     *
* following conditions are met:                                                                                        *
*                                                                                                                      *
*    * Redistributions of source code must retain the above copyright notice, this list of conditions, and the         *
*      following disclaimer.                                                                                           *
*                                                                                                                      *
*    * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the       *
*      following disclaimer in the documentation and/or other materials provided with the distribution.                *
*                                                                                                                      *
*    * Neither the name of the author nor the names of any contributors may be used to endorse or promote products     *
*      derived from this software without specific prior written permission.                                           *
*                                                                                                                      *
* THIS SOFTWARE IS PROVIDED BY THE AUTHORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED   *
* TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL *
* THE AUTHORS BE HELD LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES        *
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR       *
* BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT *
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE       *
* POSSIBILITY OF SUCH DAMAGE.                                                                                          *
*                                                                                                                      *
***********************************************************************************************************************/

#ifndef YosysProofUnitTestNode_h
#define YosysProofUnitTestNode_h

class YosysProofUnitTestNode : public UnitTestNode
{
public:

	YosysProofUnitTestNode(
		BuildGraph* graph,
		RTLILNetlistNode* netlist,
		std::string name,
		std::string partition);
	virtual ~YosysProofUnitTestNode();

	static YosysProofUnitTestNode* CreateYosysProofUnitTestNode(
		BuildGraph* graph,
		RTLILNetlistNode* netlist,
		std::string name,
		std::string partition);
	
	void SetTimeLimit(int sec)
	{ m_timelimit = sec; }	
	
	void AddPrecondition(std::string sig1, std::string sig2);
	
	void LogSignal(std::string sig)
	{ m_shows.push_back(sig); }
	
	void SetMaxIterations(int n)
	{ m_maxIters = n; }
	
protected:
	virtual std::string GetHash();
	virtual void Update(Cluster* cluster);
	virtual void UpdateDependencies();
	
	RTLILNetlistNode* m_netlist;
	
	std::vector<std::string> m_shows;
	std::vector< std::pair<std::string, std::string> > m_preconditions;

	int m_timelimit;	//seconds
	
	int m_maxIters;
};

#endif

